1. Reachability problems :
پدیدآورنده : Antonín Kučera, Igor Potapov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer systems-- Verification, Congresses.,Configurations, Congresses.,Decidability (Mathematical logic), Congresses.,Computer systems-- Verification.,Configurations.,Decidability (Mathematical logic),Erreichbarkeit.,Erreichbarkeitsmenge.,Zustandsgraph.,Brünn 2010, 7
رده :
QA76
.
76
.
V47
R58
2010
